Horn clause - PDFSEARCH.IO - Document Search Engine

Horn clause
Results: 49

#	Item
31	Fundamenta Informaticae[removed]{14 IOS Press 1 Meta-Queries on Deductive Databases Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:04:30 Predicate logic Rules of inference First-order logic Model theory Resolution FO Generalization Universal quantification Horn clause Logic Mathematical logic Mathematics
32	Ecient Reasoning using the Local Closed-World Assumption Patrick Doherty1? , Witold Lukaszewicz2, and Andrzej Szalas2 1 Department of Computer and Information Science, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:05:06 Mathematical logic Circumscription Closed world assumption Inference Literal Horn clause Function Logic Logic programming Mathematics
33	TESTIMONY VICKIE SUTTON PAUL WHITFIELD HORN PROFESSOR OF LAW, TEXAS TECH UNIVERSITY SCHOOL OF LAW BEFORE THE COMMITTEE ON STATE AFFAIRS CHAIRMAN, SENATOR ROBERT DUNCAN Add to Reading List Source URL: www.senate.state.tx.us Language: English - Date: 2012-12-10 10:01:23 Federalism in the United States Commerce Clause Tenth Amendment to the United States Constitution Article One of the United States Constitution United States v. Morrison Taxing and Spending Clause Necessary and Proper Clause Garcia v. San Antonio Metropolitan Transit Authority United States v. Lopez United States Constitution Law Government
34	TESTIMONY VICKIE SUTTON PAUL WHITFIELD HORN PROFESSOR OF LAW, TEXAS TECH UNIVERSITY SCHOOL OF LAW BEFORE THE COMMITTEE ON STATE AFFAIRS CHAIRMAN, SENATOR ROBERT DUNCAN Add to Reading List Source URL: www.senate.state.tx.us Language: English - Date: 2012-12-10 10:01:23 Federalism in the United States Commerce Clause Tenth Amendment to the United States Constitution Article One of the United States Constitution United States v. Morrison Taxing and Spending Clause Necessary and Proper Clause Garcia v. San Antonio Metropolitan Transit Authority United States v. Lopez United States Constitution Law Government
35	Kelpie: a Concurrent Logic Programming System for Knowledge Based Applications Hamish Taylor Department of Computer Science Heriot-Watt University Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2008-11-07 07:45:17 Prolog Logic programming Actor model Parlog Futures and promises Horn clause Clause Computing Software engineering Computer programming
36	Introduction to PROLOG Peter Lucas Department of Computing Science University of Aberdeen, Aberdeen Contents Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2002-01-23 10:03:24 Logic programming Automated theorem proving Prolog Rules of inference Horn clause Unification Clause SLD resolution Inference Software engineering Computing Computer programming
37	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-16 09:32:31 Rules of inference Automated theorem proving Logic in computer science Logic programming Resolution Datalog Horn clause Unification Semantic reasoner Logic Mathematical logic Mathematics
38	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-01-24 17:40:42 Computing Ontology Logic in computer science Mathematical logic Datalog Abox Horn clause Tbox Rewriting Theoretical computer science Query languages Mathematics
39	A Constraint Satisfaction Approach to Tractable Theory Induction John Ahlgren and Shiu Yin Yuen City University of Hong Kong, Hong Kong, China [removed] Add to Reading List Source URL: lion.disi.unitn.it Language: English - Date: 2012-12-21 02:59:42 Constraint programming Logic in computer science Logic programming Programming paradigms Constraint logic programming Constraint satisfaction Boolean satisfiability problem Horn clause Prolog Theoretical computer science Declarative programming Software engineering
40	Journal of Machine Learning Research[removed]3681 Submitted 4/12; Revised 7/13; Published[removed]Efficient Program Synthesis Using Constraint Satisfaction in Inductive Logic Programming Add to Reading List Source URL: jmlr.org Language: English - Date: 2013-12-12 22:22:13 Propositional calculus Logic programming Logic in computer science Boolean algebra Automated theorem proving Constraint logic programming Resolution Horn clause Boolean satisfiability problem Logic Theoretical computer science Mathematics